Les figures du militantisme environnemental périurbain. Un engagement, plusieurs logiques d’action

Vers un modèle du raisonnement dans les langages à objets

Résumé Ce papier est une proposition de modèle du raisonnement dans les langages hybrides, intégrant un langage de programmation par objets avec des règles de production. Nous proposons de différencier entre deux catégories d'objets, les objet du monde perçu et ceux du monde conçu. Le raisonnement est alors considéré comme un processus qui crée ou modifie le monde conçu à partir d'observations ...

Un navigateur pour les données liées du Web

Le Web de documents structurés qui repose sur le standard XML a rapidement été muni du standard XSLT pour engendrer des formats de présentation tels que HTML ou bien pour écrire des transformations de XML vers XML. De la même manière, le Web de données sémantiques qui repose sur le standard RDF a maintenant besoin d’un langage de transformation pour présenter les données RDF dans des formats li...

Les phosphatides du sérum sanguin

la présence du jansénisme dans les pensées et les lettres écrites à un provincial de blaise pascal.

la seconde moitié du xviie siècle est le témoin de la lutte religieuse entre les jansénistes et les jésuites. le jansénisme est fondé par théologien hollandais, jansénius. ce courant se développera dans les milieux intellectuels et religieux de lépoque, en particulier à labbaye de port-royal, considérée comme le berceau du jansénisme. a vrai dire, le jansénisme est un catholicisme ultra-orthodo...

Approximation diophantienne dans les corps de séries en plusieurs variables

— We prove a theorem of diophantine approximation between the field of formal power series in several variables and its completion for the Krull topology.